We still figure this out from 0/0 scroll events. This method is
not intended to last forever, but it's something we can cling to
so far.
https://bugzilla.gnome.org/show_bug.cgi?id=756729
event->scroll.type = GDK_SCROLL;
event->scroll.direction = GDK_SCROLL_SMOOTH;
+ if (delta_x == 0.0 && delta_y == 0.0)
+ event->scroll.is_stop = TRUE;
+
GDK_NOTE(EVENTS,
g_message ("smooth scroll: %s\n\tdevice: %u\n\tsource device: %u\n\twindow %ld\n\tdeltas: %f %f",
#ifdef XINPUT_2_2